%Macros
\newcommand{\junk}[1]{}

\newtheorem{lemma}{Lemma}
\newtheorem{theorem}[lemma]{Theorem}
\newtheorem{informaltheorem}[lemma]{Informal Theorem}
\newtheorem{informallemma}[lemma]{Informal Lemma}
\newtheorem{corollary}[lemma]{Corollary}
\newtheorem{definition}[lemma]{Definition}
\newtheorem{proposition}[lemma]{Proposition}
\newtheorem{question}{Question}
\newtheorem{problem}{Problem}
\newtheorem{remark}[lemma]{Remark}
\newtheorem{claim}{Claim}
\newtheorem{fact}{Fact}
\newtheorem{challenge}{Challenge}
\newtheorem{observation}{Observation}
\newtheorem{openproblem}{Open Problem}
\newtheorem{openquestion}{Open question}
\newtheorem{conjecture}{Conjecture}
\newtheorem{game}{Game}

\newcommand{\firstterm}{\mathsf{FirstTerm}}
\newcommand{\secondterm}{\mathsf{SecondTerm}}
\newcommand{\High}{\mathsf{High}}
\newcommand{\Medium}{\mathsf{Medium}}
\newcommand{\Low}{\mathsf{Low}}
\newcommand{\var}{\mathsf{Var}}
\newcommand{\ent}{\mathsf{H}}
\newcommand{\E}{\mathop{\mathbb E}}
